Anwendung von grafischen Validierungsregeln bei der Entwicklung von ITIntegrationsprozessen

Zunehmend stellt die Modellierung von (Geschäfts-)Prozessmodellen den Ausgangspunkt der Entwicklung von Software bspw. basierend auf Service-orientierten Architekturen dar. Um die syntaktische und semantische Korrektheit der Modelle zu überprüfen, sind sinnvoll einsetzbare Mechanismen notwendig. Die syntaktische Prüfung wird meist direkt von den Modellierungswerkzeugen unterstützt. Hingegen gibt es kaumAnsätze zum Einsatz von Validierungstechniken – wie demModel Checking – auf Geschäftsprozessebene. Außerdem wird die Wiederverwendung von Validierungsregeln bisher vernachlässigt. In diesem Beitrag wird die Erweiterung eines auf grafischen Validierungsregeln (EPK-G-CTL) basierenden Verfahren vorgestellt, mit dem fachliche Prozessmodelle gezielt auf semantische Aspekte überprüft werden können. Im Fokus der Betrachtungen steht die Frage, wie der Validierungsmechanismus in den Entwicklungsprozess eingebunden werden kann, so dass für die Entwickler ein erkennbarer Nutzen entsteht. Dabei sind die Aspekte der einfachen Erstellung und Anwendbarkeit sowie der Wiederverwendbarkeit der Validierungsregeln von Bedeutung.